main = length (take 3 [1,4,5,7]) 
